Towards a Modular and Accessible Modelica Compiler Backend

Modelica is well suited for modelling complex physical systems due to the acausal description it is using. The causalisation of the model is carried out prior to each simulation. A significant part of the causalisation process is the symbolic manipulation and optimisation of the model. Despite the growing interest in Modelica, the capabilities of symbolic manipulation and optimisation are not fully utilized. This paper presents an approach to increase the customisability, access, and reuse of symbolic optimisation by a more modular and flexible design concept. An overview of the common symbolic manipulation and optimisation algorithms of a typical Modelica compiler is presented as well as a general modular design concept for a Modelica compiler backend. The modularisation concept will be implemented in a future version of the OpenModelica compiler.